Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

bump #7484

Closed
wants to merge 10 commits into from
Closed

bump #7484

wants to merge 10 commits into from

Conversation

jycor
Copy link
Contributor

@jycor jycor commented Feb 9, 2024

No description provided.

@coffeegoddd
Copy link
Contributor

@jycor DOLT

comparing_percentages
99.999562 to 99.964732
version result total
10814e3 not ok 2094
10814e3 ok 5935363
version total_tests
10814e3 5937457
correctness_percentage
99.964732

@coffeegoddd
Copy link
Contributor

@jycor DOLT

comparing_percentages
99.999562 to 99.999512
version result total
96cd83f not ok 29
96cd83f ok 5937428
version total_tests
96cd83f 5937457
correctness_percentage
99.999512

@coffeegoddd
Copy link
Contributor

@jycor DOLT

comparing_percentages
99.999562 to 99.999697
version result total
166c118 not ok 18
166c118 ok 5937439
version total_tests
166c118 5937457
correctness_percentage
99.999697

@jycor jycor mentioned this pull request Feb 13, 2024
Merged
@coffeegoddd
Copy link
Contributor

@jycor DOLT

comparing_percentages
99.999562 to 99.999697
version result total
958f4fc not ok 18
958f4fc ok 5937439
version total_tests
958f4fc 5937457
correctness_percentage
99.999697

@coffeegoddd
Copy link
Contributor

@jycor DOLT

comparing_percentages
99.999562 to 99.999697
version result total
5f47122 not ok 18
5f47122 ok 5937439
version total_tests
5f47122 5937457
correctness_percentage
99.999697

@jycor jycor closed this Feb 16, 2024
@jycor jycor deleted the james/in branch February 16, 2024 22:09
@BrewTestBot BrewTestBot mentioned this pull request Feb 19, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
correctness_approved
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jycor @coffeegoddd